Proposition 4.3.3 (Split exactness of K0)
Every split exact sequence of -algebras induces a split exact sequence of K-theories. .